Modeling and Verifying Workflow-based Regulations
نویسندگان
چکیده
In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we augment the model and model checking with additional property treatment to deal with multifarious non-functional properties and property hierarchies. This enables a more powerful verification of requirements such as given business-driven regulations in these system workflows.
منابع مشابه
Optimizing Web Service Composition While Enforcing Regulations
To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. In this paper we present an approach to Web service composition that builds on work using AI planning, and more specifically Hierarchical Task Networks (HTNs), for Web service composition. A significant advantage of our approach i...
متن کاملBusiness Process Optimization by Workflow Analysis
This paper describes a framework to model, simulate, optimize and implement business process workflow. The framework employs i) the well known business process modeling notation (BPMN) for modeling both the as-is and to-be workflow. ii) Petri nets for (validating, verifying and fine analysis) for the workflow. iii) Business process execution languages (BPEL) for implementing the target to-bewor...
متن کاملSimplifying Verification of Nested Workflows with Extra Constraints
Workflow verification is an important aspect of workflow modeling where the verification task is to ensure that the workflow describes feasible processes. It has been shown that verifying nested workflows with extra precedence, causal, and temporal synchronization constraints is an NPcomplete problem and a verification method based on constraint satisfaction has been proposed. This paper theore...
متن کاملEvolutionary Design through Reflective Petri Nets: an Application to Workflow
The design of dynamic workflows needs adequate modeling/specification formalisms and tools to soundly handle possible changes during workflow operation. A common approach is to pollute workflow design with details that do not regard the current behavior, but rather evolution. That hampers analysis, reuse and maintenance in general. We propose and discuss the adoption of a recent Petri netbased ...
متن کاملTimed Automata for Workflow Modeling and Analysis
The main purpose of the workflow management systems is supporting of definition, performing and controlling of the business process, so that it supports the activities and the particular ordering of them in order to achieve to the common goal. The accuracy of the characteristics of the workflow for automation of the Business Process is essential. Because of this reason, the errors in the charac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006